#include <stdio.h>
#include <unistd.h>
#include <string.h>
int main()
{
    int a = 12345;
    char buffer[30];
    snprintf(buffer,30,"%d\n",a);
    write(1,buffer,strlen(buffer));
    return 0;
}
